Quantitative Analysis of Software: Challenges and Recent Advances
نویسنده
چکیده
Even with impressive advances in formal methods over the last few decades, some problems in automatic verification remain challenging. Central amongst these is the verification of quantitative properties of software such as execution time or energy usage. This paper discusses the main challenges for quantitative analysis of software in cyber-physical systems. It also presents a new approach to this problem based on the combination of inductive inference with deductive reasoning. The approach has been implemented for timing analysis in a system called GAMETIME.
منابع مشابه
Recent Advances in High Cell Density Cultivation for Production of Recombinant Protein
This paper reviews recent strategies used for increasing specific yield and productivity in high cell density cultures. High cell density cultures offer an efficient means for the economical production of recombinant proteins. However, there are still some challenges associated with high cell density cultivation (HCDC) techniques. A variety of strategies in several aspects including host design...
متن کاملTissue Engineering: A Biological Solution for Tissue Damage, Loss or End Stage Organ Failure
In recent years the science of tissue engineering has emerged as a powerful tool for the development of a novel set of tissue replacement parts and technologies. Recent advances in the fields of biomaterials, stem cell technologies, growth factor field and biomimetics have created a unique set of opportunities for investigators to fabricate lab-grown tissues from combination of extracellular ma...
متن کاملA Look at the Challenges of Boundary-Spanner Academic Leaders
The present study was an exploratory sequential mixed method approach, so the qualitative section of the study was done by descriptive phenomenology method. The participants in the qualitative section included academic administrators with managerial experience who by criterion sampling and saturation in the research findings, 12 were selected for the interview. Research tools in the section wer...
متن کاملChallenges of Achieving Green Hospital Criteria: A Mixed Method Research in Iran
Background and Aim: Green Hospital is a concept that protects the environment from destructive human actions. It has emerged to achieve the goals of sustainable development, following the world wars, the industrial revolution, and the increment of environmental destruction. Further, Hospitals have moved towards the implementation of green hospital criteria according to their social responsibili...
متن کاملReview of mechanisms and recent advances in cancer photo thermal therapy
Abstract. Cancer is a major health problem all over the world. Photo thermal therapy (PTT) is a non-invasive method in cancer treatment. In PTT, the laser light usually in near-infra red region is absorbed and converted to heat in the cancerous tissue. The temperature above 40 ° C in PTT can induce some effects including irreversible damage to proteins, changes in enzyme struc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010